M. Božić & K. Došen; 1984; "Models for Normal Intuitionistic Modal Logics"